Craig A. Reickert, M.D.

A conversation with Craig Thompson.

Craig Thompson, President and CEO of Memorial Sloan Kettering Cancer Center, is a medical oncologist and immunologist who has made fundamental contributions to our understanding of how cells — from B and T cells to stem cells and cancer cells — survive and replicate. See the full interview at https://www.jci. org/videos/cgms to hear Thompson’s (Figure 1) stories about being a remedial reader, t...

Reviewer : Craig

A Reply to Craig Swan

In memoriam: William A. Craig.

Ursula Theuretzbacher, Paul G. Ambrose, Alasdair P. MacGowan, David R. Andes, Fritz Sörgel, Hartmut Derendorf, Johan W. Mouton, George L. Drusano, Paul M. Tulkens, Michael N. Dudley, Otto Cars, Roger L. Nation Center for Anti-Infective Agents, Vienna, Austria; Institute for Clinical Pharmacodynamics, Latham, New York, USA; Bristol Centre for Antimicrobial Research and Evaluation, Department of ...

Craig Interpretation

Abstract interpretation (AI) is one of the most scalable automated approaches to program verification available today. To achieve efficiency, many steps of the analysis, e.g., joins and widening, lose precision. As a result, AI often produces false alarms, coming from the inability to find a safe inductive invariant even when it exists in a chosen abstract domain. To tackle this problem, we pre...